Recently I have read in succession the four articles on formal logic and dialectics in the current year's Hsin chien-she: Mr. Chou Ku-ch'eng's "Formal Logic and Dialectics" in the second issue, Mr. I Chih's "A Criticism of Confused Concepts on Problems of Logic" in the fourth issue, Mr. Shen Ping-yuan's "A Discussion of ‘Formal Logic and Dialectics,’ " and Mr. Chou Ku-ch'eng's "Further Discourse on Formal Logic and Dialectics," both in the seventh issue. In my opinion, in Mr. Chou's articles, (...) several main theses on formal logic and on the relationship between formal logic and dialectics are erroneous; basically, I agree with the criticisms of Messrs. I and Shen. Nonetheless, I believe that Mr. Chou's errors have had their source in the theory of cognition in that he has unilateralized and absolutized certain aspects that were originally correct, thus leading himself in the wrong direction. In criticizing Mr. Chou, both Messrs. I and Shen failed to proceed from this premise, so they could not make others see where Mr. Chou's errors basically lie. Based on this approach, I am merely offering some personal views on several main problems concerning formal logic and the relationship between formal logic and dialectics as mentioned in Mr. Chou's article. It is hoped that Mr. Chou and other comrades will correct me. (shrink)

With a vaulting ambition to usurp Party power, the "Gang of Four" has audaciously opposed Marxism-Leninism-Mao Tsetung Thought. Lacking truth in their allegations, they have been compelled to invoke sophistry. Their sophistry runs counter to materialist dialectics and even formal logic. Alien class element Yao Wen-yuan used to accuse others of "violating even formal logic," but it is the "Gang of Four" that ignores the definiteness and distinctiveness of thinking, says black is white, and tramples on formal logic.

This paper presents an enhanced ontology formalization, combining previous work in Conceptual Structure Theory and Order-Sorted Logic. Most existing ontology formalisms place greater importance on concept types, but in this paper we focus on relation types, which are in essence predicates on concept types. We formalize the notion of ‘predicate of predicates’ as meta-relation type and introduce the new hierarchy of meta-relation types as part of the ontology definition. The new notion of closure of a relation or meta-relation type is (...) presented as a means to complete that relation or meta-relation type by transferring extra arguments and properties from other related types. The end result is an expanded ontology, called the closure of the original ontology, on which automated inference could be more easily performed. Our proposal could be viewed as a novel and improved ontology formalization within Conceptual Structure Theory and a contribution to knowledge representation and formal reasoning (e.g., to build a query-answering system for legal knowledge). (shrink)

We compare Colman's proposed “psychological game theory” with the existing literature on psychological games (Geanakoplos et al. 1989), in which beliefs and intentions assume a prominent role. We also discuss experimental evidence on intentions, with a particular emphasis on reciprocal behavior, as well as recent efforts to show that such behavior is consistent with social evolution.

Objectives: Neuroplastic changes that drive recovery of shoulder/elbow function after stroke have been poorly understood. The purpose of this study was to determine the relationship between neuroplastic brain changes related to shoulder/elbow movement control in response to treatment and recovery of arm motor function in chronic stroke survivors.Methods: Twenty-three chronic stroke survivors were treated with 12 weeks of arm rehabilitation. Outcome measures included functional Magnetic Resonance Imaging (fMRI) for the shoulder/elbow components of reach and a skilled motor function test (Arm (...) Motor Abilities Test, AMAT), collected before and after treatment.Results: We observed two patterns of neuroplastic changes that were associated with gains in motor function: decreased or increased task-related brain activation. Those with significantly better motor function at baseline exhibited a decrease in brain activation in response to treatment, evident in the ipsilesional primary motor and contralesional supplementary motor regions; in contrast, those with greater baseline motor impairment, exhibited increased brain activation in response to treatment. There was a linear relationship between greater functional gain (AMAT) and increased activation in bilateral primary motor, contralesional primary and secondary sensory regions, and contralesional lateral premotor area, after adjusting for baseline AMAT, age, and time since stroke.Conclusions: Recovery of functional reach involves recruitment of several contralesional and bilateral primary motor regions. In response to intensive therapy, the direction of functional brain change (i.e., increase or decrease in task-related brain recruitment) for shoulder/elbow reach components depends on baseline level of motor function and may represent either different phases of recovery or different patterns of neuroplasticity that drive functional recovery. (shrink)

At the time of this writing, a widely publicized, waived-consent trial is underway. Sponsored by Northfield Laboratories, Inc. (Evanston, IL) the trial is intended to evaluate the emergency use of PolyHeme®, an oxygen-carrying resuscitative fluid that might prevent deaths from uncontrolled bleeding. The protocol allows patients in hemorrhagic shock to be randomized between PolyHeme® and saline in the field and, still without consent, randomized between PolyHeme® and blood after arrival at an emergency department. The Federal regulations that govern the waiver (...) of consent restrict its applicability to circumstances where proven, satisfactory treatments are unavailable. Blood—the standard treatment for hemorrhagic shock—is not available in ambulances but is available in hospitals. The authors argue that the in-hospital stage of the study fails to meet ethical and regulatory standards. (shrink)

Agricultural diversification in the Midwestern Corn Belt has the potential to improve socioeconomic and environmental outcomes by buffering farmers from environmental and economic shocks and improving soil, water, and air quality. However, complex barriers related to agricultural markets, individual behavior, social norms, and government policy constrain diversification in this region. This study examines farmer perspectives regarding the challenges and opportunities for both corn and soybean production and agricultural diversification strategies. We analyze data from 20 focus groups with 100 participants conducted (...) in Indiana, Illinois, and Iowa through a combined inductive and deductive approach, drawing upon interpretive grounded theory. Our results suggest that when identifying challenges and opportunities, participants center economics and market considerations, particularly income, productivity, and market access. These themes are emphasized both as benefits of the current corn-soybean system, as well as challenges for diversification. Additionally, logistical, resource and behavioral hurdles– including the comparative difficulty and time required to diversify, and constraints in accessing land, labor, and technical support– are emphasized by participants as key barriers to diversification. Agricultural policies shape these challenges, enhancing the comparative advantage and decreasing the risk of producing corn and soybeans as compared to diversified products. Meanwhile, alternative marketing arrangements, farmer networks, family relationships, and improved soil health are highlighted as important opportunities for diversification. We contextualize our findings within the theories of reasoned action and diffusion of innovation, and explore their implications for farmer engagement, markets, and agricultural policy, and the development of additional resources for business and technical support. (shrink)

This text discusses aspects of Human-Machine Interaction from the perspectives of an engineer and a philosopher. Machines are viewed not so much as tools, but more as complex socio-technical systems. On this basis, the relation between production and use of such systems and its influence on the interaction between human and machine is examined. The concept of intentionality serves as a common thread, and its close connection with the concepts of usefulness, purpose, and functionality as well as the more socio-culturally (...) shaped concept of destination is shown. We also discuss the connection of these considerations to current philosophical debates around Floridi’s “Onlife Manifesto”. The core of our argumentation is the significance of the unintended in the interplay between justified expectations, the intended, and experienced results of real-world cooperative action. We extend the meaning of this term up to the negatively intended as harmful effect in order to highlight the prominent position of problem solving in the socio-cultural development of humankind. We focus on information processes in that Human-Machine Interaction and the concept of unintended information. With the advancing digital transformation and the growing possibilities of digital monitoring, the importance of information processes as forms of description is growing, too. We show how the concept of non-intended information is linked to such concepts of control of development, in which the non-intended is marginalised and thus an essential driver of socio-cultural development is deactivated. We compare this with Floridi’s reflections on “fears and risks in a hyperconnected era”. (shrink)

Residential rent control is a contentious issue in many jurisdictions throughout the world. While tenant groups have often argued vociferously in defence of control, landlord groups and the vast majority of economists have been equally vehement in their criticisms. This paper examines some key normative issues involved in rent control. In particular I examine arguments in favor of control based on the alleged unfairness of winfall profits, upon affordability, and finally on the creation of rights to security of tenure. Various (...) objections by libertarian and free market philosophers and economists are examined. I conclude with a somewhat limited defense of rent control as used in specific situations as part of a more comprehensive policy to satisfy the normative demands at the root of tenant pressure for rent control. (shrink)

Machines will attain human levels of intelligence by the year 2040, predicts robotics expert Hans Moravec. And by 2050, they will have far surpassed us. In this mind-bending new book, Hans Moravec takes the reader on a roller coaster ride packed with such startling predictions. He tells us, for instance, that in the not-too-distant future, an army of robots will displace workers, causing massive, unprecedented unemployment. But then, says Moravec, a period of very comfortable existence will follow, as humans benefit (...) from a fully automated economy. And eventually, as machines evolve far beyond humanity, robots will supplant us. But if Moravec predicts the end of the domination by human beings, his is not a bleak vision. Far from railing against a future in which machines rule the world, Moravec embraces it, taking the startling view that intelligent robots will actually be our evolutionary heirs. "Intelligent machines, which will grow from us, learn our skills, and share our goals and values, can be viewed as children of our minds." And since they are our children, we will want them to outdistance us. In fact, in a bid for immortality, many of our descendants will choose to transform into "ex humans," as they upload themselves into advanced computers. We will become our children and live forever. In his provocative new book, the highly anticipated follow-up to his bestselling volume Mind Children, Moravec charts the trajectory of robotics in breathtaking detail. A must read for artificial intelligence, technology, and computer enthusiasts, Moravec's freewheeling but informed speculations present a future far different than we ever dared imagine. (shrink)

At the time of this writing, a widely publicized, waived-consent trial is underway. Sponsored by Northfield Laboratories, Inc. (Evanston, IL) the trial is intended to evaluate the emergency use of PolyHeme®, an oxygen-carrying resuscitative fluid that might prevent deaths from uncontrolled bleeding. The protocol allows patients in hemorrhagic shock to be randomized between PolyHeme® and saline in the field and, still without consent, randomized between PolyHeme® and blood after arrival at an emergency department. The Federal regulations that govern the waiver (...) of consent restrict its applicability to circumstances where proven, satisfactory treatments are unavailable. Blood - the standard treatment for hemorrhagic shock - is not available in ambulances but is available in hospitals. The authors argue that the in-hospital stage of the study fails to meet ethical and regulatory standards. (shrink)

In this paper we describe the Curry-Howard-De Bruijn isomorphism between Higher Order Many Sorted Intuitionistic Predicate Logic PREDω and the type system λPREDω, which can be considered a subsystem of the Calculus of Constructions. The type system is presented using the concept of a Pure Type System, which is a very elegant framework for describing type systems. We show in great detail how formulae and proof trees of the logic relate to types and terms of the type system, respectively. Finally, (...) we discuss some consequences of the isomorphism with respect to the relation between the systems discussed in this paper. (shrink)

ABSTRACT Coase's now famous paper, ‘The Problem of Social Cost’, argues that social harms caused by industry are best addressed through a policy which would be optimal in terms of market efficiency. I argue that this narrowly based policy represents a classic example of the failure of many welfare economists to consider adequately the ethical implications of their recommendations. I also indicate the manner in which Coase's recommendations conflict with intuitively well‐established ethical principles. I conclude that only an approach that (...) considers many more features than market efficiency can produce an optimal policy for dealing with the social costs of production. (shrink)

In the present study, we examine the process through which abusive supervision impacts employee creativity. Specifically, we test whether abusive supervision is associated with lower levels of employee creativity and if this effect is mediated by employee sleep deprivation and emotional exhaustion. Results showed that abusive supervision had an indirect negative relationship with employee creativity via its impact on employee sleep deprivation and emotional exhaustion. These findings contribute to a better understanding of the negative effects of abusive supervision on employee (...) creativity and the processes by which they occur. (shrink)

In ‘belief revision’ a theory\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\cal K}$$\end{document} is revised with a formula φ resulting in a revised theory \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\cal K}\ast\varphi$$\end{document}. Typically, \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\neg\varphi$$\end{document} is in \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\cal K}$$\end{document}, one has to give up belief in \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\neg\varphi$$\end{document} by a process (...) of retraction, and φ is in \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\cal K}\ast\varphi$$\end{document}. We propose to model belief revision in a dynamic epistemic logic. In this setting, we typically have an information state (pointed Kripke model) for the theory \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\cal K}$$\end{document} wherein the agent believes the negation of the revision formula, i.e., wherein \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$B\neg\varphi$$\end{document} is true. The revision with φ is a program *φ that transforms this information state into a new information state. The transformation is described by a dynamic modal operator [*φ], that is interpreted as a binary relation [ [*φ] ] between information states. The next information state is computed from the current information state and the belief revision formula. If the revision is successful, the agent believes φ in the resulting state, i.e., Bφ is then true. To make this work, as information states we propose ‘doxastic epistemic models’ that represent both knowledge and degrees of belief. These are multi-modal and multi-agent Kripke models. They are constructed from preference relations for agents, and they satisfy various characterizable multi-agent frame properties. Iterated, revocable, and higher-order belief revision are all quite natural in this setting. We present, for an example, five different ways of such dynamic belief revision. One can also see that as a non-deterministic epistemic action with two alternatives, where one is preferred over the other, and there is a natural generalization to general epistemic actions with preferences. (shrink)

During the last decade, there has been a wave of mergers and hostile takeovers throughout the corporate world. This wave has been accompanied by various defensive strategies of managers to defend target firms from these takeovers. These include: greenmail, golden parachutes, and leveraged management buyouts. This paper examines hostile takeovers and defenses against them from a stakeholder point of view; that is, from a consideration of the various obligations a firm has to the different groups that have a stake in (...) the firm. I conclude that many stakeholders, such as workers and communities, have unjustly suffered as a result of hostile takeovers and the associated defenses, and that their rights as stakeholders have been violated. Finally, I suggest some possible reforms to protect these stakeholders in the future. (shrink)

Controversies, i.e., multiple theory confrontations, may have a strong impact on the development of science. By an analysis of the so-called resonance controversy in chemistry the view that controversies and their resolution differ considerably from the process of theory succession is defended. It is argued that controversies are symptomatic of foundational problems, produce theory-scattering or domain-splitting, and induce ontological shifts. An explication is given of the role of existence claims and the applicability of Ockham's Razor in the resolution of controversies. (...) The requirement of a realistic interpretation of theories at all times, as defended by some philosophers, is criticised. (shrink)